Abstraction and the Methodical Development of Fault-Tolerant Software
نویسنده
چکیده
ion and the Methodical Development of Fault-Tolerant Software
منابع مشابه
Final report on information processing research
ion and the methodical development of fault-tolerantsoftware. PhD thesis, Carnegie Mellon University Computer Science Depart-ment, February, 1986.Also available as Technical Report CMU-CS-86-112.The reliable operation of software is a factor of increasing im-portance with the use of computers for critical functions.Software in general is demonstrably unreliable, particul...
متن کاملModel-based development of fault-tolerant real-time systems
The design of fault-tolerant real-time systems is a complex task. The system must not only satisfy real-time requirements, but it must also deliver the specified functionality in the presence of both hardware and software faults. To achieve fault-tolerance, the system has to use redundancy. This redundancy is usually achieved by replicating hardware units and executing the application within a ...
متن کاملSomersault Software Fault-Tolerance
software fault-tolerance, process replication failure masking, continuous availability, topology The ambition of fault-tolerant systems is to provide application transparent fault-tolerance at the same performance as a non-fault-tolerant system. Somersault is a library for developing distributed fault-tolerant software systems that comes close to achieving both goals. We describe Somersault and...
متن کاملMalicious Fault Tolerance: From Theoretical Algorithms to an Efficient Application Development Process
In many situations, fault tolerance needs to be provided not only in the presence of fail-stop faults, but also in case of malicious misbehaviour. Recent research has provided several theoretically well-founded algorithms that are feasible in practice. Most work however focuses only on single algorithms, and gives only little attention to adaptability to different quality-of-service requirement...
متن کاملAutomatic Generation of Fault-Tolerant CORBA-Services
The Common Object Request Broker Architecture (CORBA) is the most successful representative of an object-based distributed computing architecture. Although CORBA simplifies the implementation of complex, distributed systems significantly, the support of techniques for reliable, fault-tolerant software, such as group communication protocols or replication is very limited in the state-of-the-art ...
متن کامل